Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
401	Putting the User in Usable Verification Kathi Fisler WPI Department of Computer Science (joint work with Shriram Krishnamurthi, Brown University) November 3, 2010 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-03 22:22:08 Software engineering Formal methods Theoretical computer science Systems engineering Business Logic in computer science Formal verification Verification and validation Requirement Object Process Methodology Runtime verification
402	Brief Announcement: TheToolkit for Building Your Own Balls-into-Bins Algorithm Pierre Bertrand1 and Christoph Lenzen2 1 Ecole Normale Suprieure Cachan Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-29 10:12:02 Algorithm Mathematical logic Theoretical computer science Time complexity Mathematics With high probability Computer science Applied mathematics Balls into bins EdmondsPruhs protocol
403	15 Introduction to Quantum Information David P. DiVincenzo Peter Grunberg Institut ¨ Forschungszentrum Julich Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2012-08-20 13:43:07 Quantum mechanics Quantum information science Theoretical computer science Physics Qubit Quantum teleportation Entanglement distillation Bell state Quantum information Quantum computing Quantum entanglement No-communication theorem
404	Volume 6, Issue 27 ■ 01 JUL2016 Add to Reading List Source URL: www.defenseinnovationmarketplace.mil Language: English - Date: 2016-07-06 12:05:15 Emerging technologies Science and technology Technology Theoretical computer science Quantum computing Artificial intelligence Robotics Laser Robot Massachusetts Institute of Technology
405	Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Formal methods Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Proof assistants Formal verification Formal proof Proof-carrying code Automated proof checking Theorem
406	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
407	CS711008Z Algorithm Design and Analysis Lecture 2. Analysis techniques 1 Dongbo Bu Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Analysis of algorithms Theory of computation Computational complexity theory Computer science Theoretical computer science Quicksort Average-case complexity Best worst and average case Algorithm Sorting algorithm Time complexity Worst-case complexity
408	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-03 07:39:24 Data mining Formal sciences Web mining World Wide Web Computing Database Secure multi-party computation Communications protocol Information science Information technology Theoretical computer science
409	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation
410	PDF Document Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Computability theory Theoretical computer science Theory of computation Mathematics Mathematical logic Turing machine Models of computation Computable number Alan Turing Computable function Definable real number Computability

UPDATE